| Model: | beb v.1 (MDP) |
| Parameter(s) | H = 5, K = 16, N = 15 |
| Property: | LineSeized (prob-reach) |
mono ./modest-fret-pi-lrtdp-master/FretLrtdp.exe beb.5-16.jani --epsilon 1e-3 -E N=15 --props LineSeized --timeout 580
| Walltime: | 582.090479850769s |
| Return code: | 0 |
| Note(s): | Correctness of result is not checked because no reference result is available. |
beb.5-16.jani:model: info: beb-5-16 is an MDP model. beb.5-16.jani: info: Need 24 bytes per state. Peak memory usage: 4362 MB Analysis results for beb.5-16.jani Experiment N=15 + Property LineSeized Probability: 1 Time: 580.6 s